Giovanni Sambin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Basic Logic: Reflection, Symmetry, Visibility

Giovanni Sambin, Giulia Battilotti and Claudia Faggian

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 651 KB

english, 2000

2

Formal Topologies on the Set of First-Order Formulae

Thierry Coquand, Sara Sadocco, Giovanni Sambin and Jan M. Smith

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 228 KB

english, 2000

3

Costruttivismo Oltre i luoghi comuni

Sambin, Giovanni

Journal:

Lettera Matematica Pristem

Year:

2017

Language:

italian

File:

PDF, 930 KB

italian, 2017

4

Provability Logic || Provability: The Emergence of a Mathematical Modality

George Boolos and Giovanni Sambin

Journal:

Year:

1991

Language:

english

File:

PDF, 2.48 MB

english, 1991

5

Some points in formal topology

Giovanni Sambin

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 629 KB

english, 2003

6

C for Constructivism

Sambin, Giovanni

Journal:

Lettera Matematica

Year:

2017

Language:

english

File:

PDF, 764 KB

english, 2017

7

Formal Topology and Domains

Giovanni Sambin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 774 KB

2000

8

Pretopologies and a uniform presentation of sup-lattices, quantales and frames

Giulia Battilotti, Giovanni Sambin

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 399 KB

english, 2006

9

An Incomplete System of Modal Logic

George Boolos and Giovanni Sambin

Journal:

Journal of Philosophical Logic

Year:

1985

Language:

english

File:

PDF, 652 KB

english, 1985

10

The Modal Logic of Provability. The Sequential Approach

Giovanni Sambin and Silvio Valentini

Journal:

Journal of Philosophical Logic

Year:

1982

Language:

english

File:

PDF, 2.11 MB

english, 1982

11

Topology and duality in modal logic

Giovanni Sambin, Virginia Vaccaro

Journal:

Annals of Pure and Applied Logic

Year:

1988

Language:

english

File:

PDF, 5.20 MB

english, 1988

12

Preface

Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 82 KB

english, 2006

13

The overlap algebra of regular opens

Francesco Ciraulo, Giovanni Sambin

Journal:

Journal of Pure and Applied Algebra

Year:

2010

Language:

english

File:

PDF, 305 KB

english, 2010

14

Finitary formal topologies and Stone’s representation theorem

Francesco Ciraulo, Giovanni Sambin

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 387 KB

english, 2008

15

Inductively generated formal topologies

Thierry Coquand, Giovanni Sambin, Jan Smith, Silvio Valentini

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

16

The modal logic of provability. The sequential approach

Giovanni Sambin, Silvio Valentini

Journal:

Journal of Philosophical Logic

Year:

1982

Language:

english

File:

PDF, 1.35 MB

english, 1982

17

Provability: the emergence of a mathematical modality

George Boolos, Giovanni Sambin

Journal:

Year:

1991

Language:

english

File:

PDF, 1.28 MB

english, 1991

18

An effective fixed-point theorem in intuitionistic diagonalizable algebras

Giovanni Sambin

Journal:

Year:

1976

Language:

english

File:

PDF, 967 KB

english, 1976

19

Fixed points through the finite model property

Giovanni Sambin

Journal:

Year:

1978

Language:

english

File:

PDF, 186 KB

english, 1978

20

Constructive domain theory as a branch of intuitionistic pointfree topology

Giovanni Sambin, Silvio Valentini, Paolo Virgili

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.62 MB

english, 1996

21

Preface

Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 126 KB

english, 2012

22

A constructive Galois connection between closure and interior

Ciraulo, Francesco, Sambin, Giovanni

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 1.09 MB

english, 2012

23

Pretopologies and completeness proofs

Sambin, Giovanni

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.24 MB

english, 1995

24

Preface

Coquand, Thierry, Maietti, Maria Emilia, Sambin, Giovanni, Schuster, Peter

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 124 KB

english, 2016

25

Selected Papers in Honour of Ettore Casari || Subdirectly Irreducible Modal Algebras and Initial Frames

Giovanni Sambin

Journal:

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

26

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '88, Proceedings of the Colloquium held in Padova Volume 127 || Intuitionistic formal spaces and their neighbourhood

Sambin, Giovanni

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

27

Embedding locales and formal topologies into positive topologies

Ciraulo, Francesco, Sambin, Giovanni

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 453 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски